Usenix Security '23 - A Mixed-Methods Study Of Security Practices Of Smart Contract Developers